词典首页
繁體版
English
手机版
查电话
全文翻译
发音读音
诗词
造句范文
移动客户端
注册
登录
中英
1
中法
中日
中韩
中俄
汉语
造句
例 句
翻 译
当前位置:
在线翻译
>
英语翻译
> theorem prover
ON
OFF
划词翻译
导航
分享
建议反馈
词典App
theorem prover
中文是什么意思
发音
:
中文翻译
造句
定理证明程序
theorem
n. 1.(能证明的)一般原理,公理,定律,法则。 2. ...
prover
n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔 ...
boyermoore theorem prover
博耶穆尔定理证明程序
first-order theorem prover
一阶定理证明器
prover
n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔古语〕证明者。
ball prover
球型校验器
ballistic prover
冲击式流量校验器
bell prover
钟形流量校准器; 钟罩校准器; 钟罩压力计
belt prover
带运机
bucket prover
间格斗式运输器
gravimetric prover
称重式标准罐
heat prover
废气和排出气体的分析器; 废气和排出气体的分析仪
in-line prover
在线校正仪表
linen prover
织物分析镜
meter prover
仪表校准仪
pipe prover
标准体积管;管式校准器; 管道检验仪; 管子检验器;管式流量标定装置; 管子液压试验器
piston prover
反压活塞式压力计; 活塞校准器
portable prover
移动式检定装置
prover calibration
栓定装置的标定
prover loop
标准体积管的环管
prover pipe
基准管
prover section
标准管段
prover tank
检验罐
tank prover
标定罐
unidirectional prover
单向标准体积管
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
推荐英语阅读
theorem prover的中文翻译,theorem prover是什么意思,怎么用汉语翻译theorem prover,theorem prover的中文意思,
theorem prover的中文
,
theorem prover in Chinese
,
theorem prover的中文
,
theorem prover怎么读
,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
Last modified time:Mon, 18 Aug 2025 00:29:56 GMT
相关
英文阅读
1
怎样用英语和朋友聊春节?
2
最精彩的神回复,笑到根本停不下来!
3
“old man”就是指“老人”? 小心闹笑话!
4
(双语版)袖珍男孩和烧伤女孩的爱情——真爱就在身边!
5
(双语)过年千万别送这10种礼物
6
兴趣爱好要怎么聊,才能和老外自来熟 ?
7
(双语)遇到颜值高、气质好的人如何用英语表达赞美?
8
(双语)霍金的哪些预言实现了?
全文
翻译
英→汉
汉→英
相邻
词汇
"theorem of virtual displacement"什么意思
"theorem of virtual work"什么意思
"theorem on addition of probabilities"什么意思
"theorem on embedding"什么意思
"theorem on friends and strangers"什么意思
"theorem proving"什么意思
"theorem proving machine"什么意思
"theorem proving representation"什么意思
"theorem proving technique"什么意思
说出您的建议或使用心得
提 交